Natural language programming

Natural language programming
Results: 221

#	Item
221	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-12-29 03:26:05 Software engineering Generalized algebraic data type Type system Type inference Entailment Type safety Natural deduction Symbol Type theory Logic Programming language theory